The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem
نویسندگان
چکیده
What is the meaning of hypercomputation, the meaning of computing more than the Turing machine? Concrete non-computable functions always hide the halting problem as far as we know. Even the construction of a function that grows faster than any recursive function — the Busy Beaver — a more natural function, hides the halting function, that can easily be put in relation with the Busy Beaver. Is this super-Turing computation concept related only with the halting problem and its derivatives? We built an abstract machine based on the historic concept of compass and ruler construction which reveals the existence of non-computable functions not related with the halting problem. These natural, and the same time, non-computable functions can help to un? Corresponding author derstand the nature of the uncomputable and the purpose, the goal, and the meaning of computing beyond Turing.
منابع مشابه
The Euclid Abstract Machine
Concrete non-computable functions are usually related to the halting function. Is it possible to present examples of non-computability, which are unrelated to the halting problem and its derivatives? We built an abstract machine based on the historic concept of compass and ruler constructions (a compass construction would suffice) which reveals the existence of non-computable functions not rela...
متن کاملSome improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملRethinking the Numbers: Quadrature and Trisection in Actual Infinity
The problems of squaring the circle or “quadrature” and trisection of an acute angle are supposed to be impossible to solve because the geometric constructibility, i.e. compass-and-straightedge construction, of irrational numbers like � is involved, and such numbers are not constructible. So, if these two problems were actually solved, it would imply that irrational numbers are geometrically co...
متن کاملNatural Vision and Mathematics: Seeing Impossibilities
The Turing-inspired Meta-Morphogenesis project investigates forms of biological information processing produced by evolution since the earliest life forms, especially information processing mechanisms that made possible the deep mathematical discoveries of Euclid, Archimedes, and other ancient mathematicians. Such mechanisms must enable perception of possibilities and constraints on possibiliti...
متن کاملElementary algebra for Origami: The trisection problem revisited
This article presents an algebraic background in solving the angle trisection problem using origami-folding. Origami has been originally the art of paper folding, and recently aroused strong interest in a wide discipline of science and technology owing to its deep mathematical implication. Origami is also known to be an efficient tool for solving the trisection problem, one of the three famous ...
متن کامل